Experiment With Abstract Synthesis